Date: Tue, 05 Nov 1996 00:26:56 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Fri, 04 Nov 1994 16:37:20 GMT
Content-length: 6389

<HEAD>
<TITLE>Coral Database Project - Papers</TITLE>
</HEAD>

<BODY>
<H1>Publications Related to the Coral Project </H1>
<P>

<H3>Contents:</H3>
<UL>
<li>
<!WA0><a HREF="#Language"> The Coral Language, Implementation and Features </a></li>
<li><!WA1><a HREF="#Optimization"> Optimization Techniques Used in Coral </a></li>
<li><!WA2><a HREF="#Survey"> Survey Papers </a></li>
<li><!WA3><a HREF="#Applications"> Coral Applications </a></li>
<li><!WA4><a HREF="#Miscellaneous"> Miscellaneous </a></li>
</UL>

All files are less than 300 KB in size except as noted.

<hr>
<a NAME="Language"></a>
<H2><a NAME="Language">Descriptions of the Coral Language, Implementation
     and Features</a></H2>

<strong> The CORAL Deductive System </strong>
<BR>
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri,
The VLDB Journal, Special Issue on Prototypes of Deductive Database Systems.
<!WA5><a HREF="file://ftp.cs.wisc.edu/coral/doc/coral.ps">
<BR> Available here. </a> (775 KB)
<P>

<strong> Coral++: Adding Object-Orientation to a Logic Database Language </strong>
<BR>
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri,
Proceedings of the International Conference on Very Large Databases, 1993.
<!WA6><a HREF="file://ftp.cs.wisc.edu/coral/doc/coralpp.ps">
<BR> Available here. </a> (525 KB)
<P>

<strong> Implementation of the CORAL Deductive Database System </strong>
<BR>
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri,
Proceedings of the ACM SIGMOD Conference on Management of Data, 1993.
<!WA7><a HREF="file://ftp.cs.wisc.edu/coral/doc/coral.impl.ps">
<BR> Available here. </a>
<P>

<strong> The CORAL User Manual - A Tutorial Introduction to CORAL </strong>
<BR>
Raghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava and S. Sudarshan,
Unpublished.
<!WA8><a HREF="file://ftp.cs.wisc.edu/coral/doc/manual.ps">
<BR> Available here. </a> (1100 KB)
<P>

<strong> CORAL - Control, Relations and Logic </strong>
<BR>
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan,
Proceedings of the International Conference on Very Large Databases, 1992.
<!WA9><a HREF="file://ftp.cs.wisc.edu/coral/doc/coral.lang.ps">
<BR> Available here. </a>
<P>

<strong> CORAL - A Database Programming Language </strong>
<BR>
Raghu Ramakrishnan, Per Bothner, Divesh Srivastava and S. Sudarshan,
Proceedings of the NACLP `90 Workshop on Deductive Databases, 1990.
<!WA10><a HREF="file://ftp.cs.wisc.edu/coral/doc/coral.lang.old.ps">
<BR> Available as Report TR-CS-90-14, </a> Department of Computing and. and
Information Sciences, Kansas State University. (350 KB) 
<P>

<hr>
<H2><a NAME="Optimization">Optimization Techniques Used in Coral</a></H2>
<P>

<strong> Magic Templates: A Spellbinding Approach to Logic Programs </strong>
<BR>
R. Ramakrishnan,
Journal of Logic Programming, Vol. 11, No. 3, Oct. 1991, pp. 189-216.
<!WA11><a HREF="file://ftp.cs.wisc.edu/coral/doc/template.ps">
<BR> Available here. </a>
<P>

<strong> On the Power of Magic </strong>
<BR>
C. Beeri and R. Ramakrishnan,
Journal of Logic Programming, Vol. 10, No. 3, April 1991, pp. 255-300.
<!WA12><a HREF="file://ftp.cs.wisc.edu/coral/doc/magic.ps">
<BR> Available here. </a> (360 KB)
<P>

<strong> Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs </strong>
<BR>
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan,
IEEE Transactions on Knowledge and Data Engineering, 1994.
<!WA13><a HREF="file://ftp.cs.wisc.edu/coral/doc/ruleord.ps">
<BR> Available here. </a> (880 KB)
<P>

<strong> Optimizations of Bottom-Up Evaluation with Non-Ground Terms </strong>
<BR>
S. Sudarshan and Raghu Ramakrishnan,
Proceedings of the International Logic Programming Symposium, 1993.
<!WA14><a HREF="file://ftp.cs.wisc.edu/coral/doc/ngopt.ps">
<BR> Available here. </a>
<P>

<strong> Controlling the Search in Bottom-Up Evaluation </strong>
<BR>
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan,
Proceedings of the Joint International Conference and Symposium on
Logic Programming, 1992
<!WA15><a HREF="file://ftp.cs.wisc.edu/coral/doc/ordsearch.ps">
<BR> Available here. </a>
<P>

<strong> Aggregation and Relevance in Deductive Databases </strong>
<BR>
S. Sudarshan and Raghu Ramakrishnan,
Proceedings of the International Conference on Very Large Databases, 1991.
<!WA16><a HREF="file://ftp.cs.wisc.edu/coral/doc/relevance.ps">
<BR> Available here. </a>
<P>

<strong> Top-Down vs. Bottom-Up Revisited </strong>
<BR>
Raghu Ramakrishnan and S. Sudarshan,
Proceedings of the International Logic Programming Symposium, 1991.
<!WA17><a HREF="file://ftp.cs.wisc.edu/coral/doc/tdvsbup.ps">
<BR> Available here. </a>
<P>

<hr>
<H2><a NAME="Survey">Survey Papers</a></H2>
<P>

<strong> Efficient Bottom-Up Evaluation of Logic Programs </strong>
<BR>
Raghu Ramakrishnan, Divesh Srivastava and S. Sudarshan,
The State of the Art in Computer Systems and Software Engineering, 1992.
<!WA18><a HREF="file://ftp.cs.wisc.edu/coral/doc/bupeval.survey.ps">
<BR> Available here. </a> (310KB)
<P>

<hr>
<H2><a NAME="Applications">Coral Applications</a></H2>
<P>

<strong> Explaining Program Execution in Deductive Systems </strong>
<BR>
Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri
     and Divesh Srivastava,
Proceedings of the Third International Conference on Deductive
     and Object-Oriented Databases, 1993.
<!WA19><a HREF="file://ftp.cs.wisc.edu/coral/doc/explain.ps">
<BR> Available here. </a> (520 KB)
<P>

<strong> MIMSY: A System for Analyzing Time Series Data in the
     Stock Market Domain </strong>
<BR>
William G. Roth, Raghu Ramakrishnan and Praveen Seshadri,
Proceedings of the ILPS `93 Workshop on Applications of Deductive Systems, 1993.
<!WA20><a HREF="file://ftp.cs.wisc.edu/coral/doc/mimsy.ps">
<BR> Available as Report TR-CS-1182,. </a> Department of Computer Sciences,
University of Wisconsin, Madison. (360 KB)
<P>

<strong> MIMSY: A System for Analyzing Time Series Data in the
     Stock Market Domain </strong>
<BR>
William G. Roth,
M.S. Thesis, 1993.
<!WA21><a HREF="file://ftp.cs.wisc.edu/coral/doc/mimsy.thesis.ps">
<BR> Available here. </a> (1490 KB)
<P>

<hr>
<H2><a NAME="Miscellaneous">Miscellaneous</a></H2>
<P>

<strong> Parallelism in Logic Programs </strong>
<BR>
Raghu Ramakrishnan,
Annals of Mathematics and Artifical Intelligence, Special Issue on
    Deductive Databases. 
<!WA22><a HREF="file://ftp.cs.wisc.edu/coral/doc/parallelism.ps">
<BR> Available here. </a> (560 KB)
<P>

<hr>

Return to the <!WA23><a HREF="http://www.cs.wisc.edu/coral/coral.home.html"> Coral home page. </a>
<hr>

</BODY>
